form decoding
型安全な
form validation
elm-form-decoder
フォームバリデーションからフォームデコーディングの時代へ - Qiita
https://qiita.com/miyamo_madoka/items/d02f003ec1c212360111
https://qiita.com/amderbar/items/3d64e75f361146e0a867
ps実装
formにて、
プログラムの外部との境界で、仕様を満たしたデータ型に変換する
している
参考
フォームバリデーションからフォームデコーディングの時代へ - Qiita